Cylindrical algebraic decomposition - PDFSEARCH.IO - Document Search Engine

Cylindrical algebraic decomposition
Results: 16

#	Item
11	Chapter 6 Combinatorial Motion Planning Steven M. LaValle University of Illinois Add to Reading List Source URL: msl.cs.uiuc.edu Language: English - Date: 2012-04-20 17:07:06 Robot control Network theory Motion planning Visibility graph Shortest path problem Bitangent Decomposition method Cylindrical algebraic decomposition Induced path Mathematics Graph theory Theoretical computer science
12	Chapter 6 Combinatorial Motion Planning Steven M. LaValle University of Illinois Add to Reading List Source URL: planning.cs.uiuc.edu Language: English - Date: 2012-04-20 17:07:06 Robot control Network theory Motion planning Visibility graph Shortest path problem Bitangent Decomposition method Cylindrical algebraic decomposition Induced path Mathematics Graph theory Theoretical computer science
13	ALGORITHMS IN REAL ALGEBRAIC GEOMETRY: A SURVEY SAUGATA BASU Abstract. We survey both old and new developments in the theory of algorithms in real algebraic geometry – starting from effective quantifier elimination in Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2011-07-21 09:04:59 Real algebraic geometry Field theory Algebraic geometry Cylindrical algebraic decomposition Real closed field Algebraic extension Algebraic variety Tarski–Seidenberg theorem Field Abstract algebra Mathematics Algebra
14	Saugata Basu Department of Mathematics Purdue University Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2013-10-06 09:31:19 Cylindrical algebraic decomposition Algebraic geometry Computational mathematics Computational geometry Real closed field Discrete mathematics Theoretical computer science Algorithmic Number Theory Symposium Combinatorics Mathematics Real algebraic geometry Algebra
15	Introduction Ideas behind ETR and computing Euler-Poincaré Characteristic Algorithm for Computing the Euler-Poincaré characteristic Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2005-11-25 07:51:12 Topological graph theory Real algebraic geometry Betti number Euler characteristic Cylindrical algebraic decomposition Algorithm Leonhard Euler Real closed field Time complexity Mathematics Abstract algebra Algebraic topology
16	Real Quantifier Elimination in Geometry1 Thomas Sturm2 FMI, Universit¨at Passau, D[removed]Passau, Germany Add to Reading List Source URL: redlog.dolzmann.de Language: English - Date: 2009-04-01 06:50:52 Geometry Model theory Metalogic Quantifier elimination Mathematical logic Cylindrical algebraic decomposition Alfred Tarski Quantification Semialgebraic set Real algebraic geometry Logic Mathematics